reactive system meaning in Chinese
反应系统
Examples
- Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。 - As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。 - Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
但是因为它又有别于一般的反应型系统，所以我们接着介绍了实时系统的特殊性，并且介绍了形式化方法面向实时系统的扩展。 - This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out "
用这个工具用户直接从系统的原型gui界面取“ playin ”场景，并且可以“ playout ”这些场景，从而获取并确认需求。 - The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design
测试结果表明：与原有的基于dhdf模型的可视化语言相比， e语言不仅实现了并发运行机制，而且在事件驱动的操作系统上运行时具有更高的效率和更好的实时性能。